<html><body bgcolor=white  onload='parent.fileFinishedLoading();'>
Loading globals.html info file... 
<script language="javascript">
var ag=parent.ag;
if(ag== undefined) { alert('The code is not yet loaded'); }
ag(0,'/*4*/length@0:20');
ag(1,'/*6*/length@0:21');
ag(2,'/*8*/length@0:22');
ag(3,'__ccuredInit@0:1');
ag(4,'abort_deepcopy@0:2');
ag(5,'main@0:9');

</script>Done</html>
